英诺达发布全新静态验证产品，提升芯片设计效率
2026-07-11 00:32:40 [娱乐] 来源：江苏省沭阳沭龙孵化场有限公司
英诺达(成都)电子科技有限公司近日正式推出了两款全新的英诺静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的布全发布，标志着英诺达在芯片设计工具领域迈出了重要一步，新静将为中国芯片产业的态验发展注入新的活力。
静态验证作为一种业界普遍使用的证产验证方法，通过对设计的品提片设源代码进行深入分析，能够发现设计中的升芯潜在问题。与动态仿真验证和形式化验证相结合，计效静态验证可以显著提高验证的英诺覆盖率，帮助设计师在设计开发的布全早期阶段快速发现和诊断设计缺陷，从而有效缩短设计验证所需的新静时间，提升芯片设计的态验整体效率。
EnAltius®CDC跨域检查工具和Lint RTL代码检查工具正是证产基于这一理念而开发的。它们不仅能够为设计师提供更加全面、品提片设准确的升芯验证结果，还能够与英诺达现有的静态验证和分析EDA工具形成互补，共同构成一个完整的验证体系，为芯片设计提供全方位的支持。
此次两款新品的发布，进一步丰富了英诺达的产品线，也展示了英诺达在芯片设计工具领域的创新能力和技术实力。未来，英诺达将继续致力于为中国芯片产业的发展贡献更多的优质产品和服务。
(责任编辑：休闲)
南芯科技荣获华勤“优秀质量奖”
《房间空气调节器安装服务规范》问世—万维家电网
五星电器作出承诺：空调“即买即装”—万维家电网
“深度清洗”将为空调提供新服务增长点—万维家电网
实习越来越“卷” 焦虑如何抚平推荐文章
-
学习困难真是病？复旦儿科学习困难门诊已约满了 编辑：汤晓雪 来源：成
...[详细]
-
针对近期空调厂家频频放言空调涨价，国美、三联、苏宁等大型家电卖场开始酝酿出招，平抑市场价格。记者今天(06年6月17日)从省城家电市场了解到，本周末，省城空调市场将全线降价，降幅约在20%左右。 由于
...[详细]
-
上周启动的“国美入川2006天大庆”精彩不断，降价、赠品、返现等优惠活动受到了消费者的喜爱。在所有的降价品类中，空调可谓一马当先，从6月14日开始，空调市场价格已明显大幅下降，而经历了上周末空调抢购热
...[详细]
-
受空调价格调整传言影响，刚入6月，苏宁、国美、永乐等家电连锁卖场的空调已经出现了部分品种断货情况，而制冷量小于2500瓦的小一匹空调也重现卖场，受到消费者热捧。记者昨在6月10日）几家卖场看到，由于双
...[详细]
-
近日，世界显示产业创新发展大会在成都举办，来自全球的显示领域企业及行业专家汇聚一堂，共同探讨新一轮产业升级趋势及行业未来发展方向。BOE京东方）总裁高文宝博士应邀出席大会，并在开幕式发表《屏之物联 聚
...[详细]
-
中国家用电器维修协会颁布的《房间空调器安装质量检验规范》以下简称《规范》）从5月1日起正式实施，目前已有一月。在当前空调价格不断走高，厂商价格博弈愈演愈烈，空调又将迎来高温消费旺季，现在空调的安装标
...[详细]
-
空调销售入旺季卖场促销齐喊降 进入６月又是空调销售的旺季，可是今年的空调市场早在一个月前就已经热闹非凡。空调厂家频频抛出涨价的消息，甚至发出了涨价时间表。然而记者日前在北京的一些家电卖场看到，涨价似乎
...[详细]
-
天气温略有下降，可能有阵雨。根据06年6月24日下午的天气预报，据06年6月25日白天天津市多云转阴有雷阵雨，东南风3—4级，最高气温在31℃左右，夜间约为22℃。 天气闷热，这两天空调的使用率大大提
...[详细]
-
近期，日本两大汽车制造商日产与本田正面临来自合同制造商富士康的潜在收购挑战，双方因此展开了深入的交流与协商。据日经新闻报道，自今年年初富士康开始表达对收购日产股份的兴趣以来，日产与本田迅速进入了紧急协
...[详细]
-
兰最新研制的CDMV系列智能多联中央空调通过了江苏省科学技术厅产品鉴定会专家组的鉴定，委员们一致认定，该系列空调的技术达到国际先进水平。 专家组认为，春兰智能多联中央空调采用的模糊控制理论，有效解决了
...[详细]
热点阅读
